$\forall$$n$:$\mathbb{N}$, $a$, $b$:$\mathbb{Z}$. sum($a$+$b$$\cdot$$i$ $\mid$ $i$ $<$ $n$)$\cdot$2 $=$ $n$$\cdot$($a$+$a$+$b$$\cdot$($n$$-$1))